21. Deontic modality
پدیدآورنده : edited by Nate Charlow and Matthew Chrisman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Philosophy ، Language and languages,، Deontic logic,، Modality )Logic(
رده :
P
107
.
D46
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
22. Directions in relevant logic
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Modality )Logic(-- Congresses,، Relevance )Philosophy(-- Congresses
رده :
BC
199
.
M6
.
D57
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
23. Directions in relevant logic
پدیدآورنده : edited by Jean Norman and Richard Sylvan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Modality )Logic(,Congresses ، Relevance )Philosophy(
رده :
BC
199
.
M6D57
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
24. Displaying modal logic
پدیدآورنده : Heinrich Wansing
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (تهران)
موضوع : Modality (Logic)
![](/design/images/bookmore.png)
25. Essays in the metaphysics of modality
پدیدآورنده : Plantinga, Alvin.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Modality )Logic(,، Metaphysics
رده :
B945
.
P553
M48
2003
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
26. Gentzen calculi for modal propositional logi
پدیدآورنده : / Francesca Poggiolesi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Modality (Logic),Electronic books., local
![](/design/images/bookmore.png)
27. Intensional and higher-order modal logic: with applications to Montague semantics
پدیدآورنده : Gallin, Daniel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Intension )Logic(,، Modality )Logic(
رده :
BC
199
.
I5
G3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
28. Intensional and higher-order modal logic : with applications to Montague semantics
پدیدآورنده : Gallin, Daniel.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Modality )Logic(,، Logic, Symbolic and mathematical
رده :
BC
199
.
M6
.
G35
1975
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
29. Intensional mathematics
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Addresses, essays, lectures ، Modality )Logic(,Addresses, essays, lectures ، Constructive mathematics,Addresses, essays, lectures ، Intuitionistic mathematics
رده :
QA
9
.
46
.
I57
1985
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
30. Intensional mathematics
پدیدآورنده : SHAPIRO,STEWART
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : MODALITY )LOGIC(-ADDRESSES,ESSAYS, , CONSTRUCTIVE MATHEMATICS-ADDRESSES, , INTUITIONISTIC MATHEMATICS-
رده :
QA
9
.
46
.
I57
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
31. Intensional mathematics
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Modality (Logic) ;
![](/design/images/bookmore.png)
32. Intentional mathematics
پدیدآورنده : edited by Stewart Shapiro
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Modality )Logic(,، Constructive mathematics,، Intuitionistic mathematics
رده :
QA
9
.
46
.
I57
1985
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
33. Interpolation and definability
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Interpolation,، Modality )Logic(,، Definability theory )Mathematical logic(
رده :
QA
281
.
G28I5
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
34. Introductory modal logic
پدیدآورنده : Konyndyk, Kenneth.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Modality )Logic(
رده :
BC
199
.
M6
K66
1986
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
35. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
پدیدآورنده : Gabbay, Dov M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
رده :
BC
199
.
M6
.
G3
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
36. Investigations in modal and tense logics with applications to problems in philosophy and linguistics
پدیدآورنده : Gabbay, Dov M., 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Grammar, Comparative and general
رده :
BC
199
.
M6G22
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
37. Kant's modal metaphysics
پدیدآورنده : Stang, Nicholas Frederick, 9791-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Kant, Immanuel, 4271-4081,، Modality )Logic(,، Metaphysics
رده :
B
2799
.
M5S72
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
38. Laws, modalities, and counterfactuals
پدیدآورنده : Reichenbach, Hans, 1981-3591
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Counterfactuals )Logic(,، Modality )Logic(,، Law -- Philosophy
رده :
BC
199
.
C66R44
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
39. Logic for concurrency and synchronisation
پدیدآورنده : / edited by Ruy J.G.B. de Queiroz
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Proof theory,Modality (Logic),Parallel programming (Computer science)
رده :
QA9
.
54
.
L64
2003
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
40. Logic for concurrency and synchronisation]CD[
پدیدآورنده : edited by Ruy J.G.B. de Queiroz
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Proof theory,، Modality )Logic(,، Parallel programming )Computer science(
رده :
CD
1743-35
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)